Nuprl Definition : cmd-history 11,40

cmd-history(e) == es-interface-history(es;x.sys-cmds(x)'Sys(valid);e
latex



clarification:

cmd-history{i:l}
cmd-history(esConfigCmdSyse)
== es-interface-history(es;x.sys-cmds(x)'sys-valid{i:l}
== es-interface-history(es;x.sys-cmds(x)'sys-valid(esConfigCmdSys);e
latex


Definitionses-interface-history(es;X;e), f'Ia, x.A(x), sys-cmds(x), Sys(valid)
FDL editor aliasescmd-history

origin